| |
|
|
|
If your Java program has been thoroughly tested but still error-prone,the Wasp analyser can help to detect subtle run-time errors and weak points in your program.
The following kinds of errors may be statically detected:null pointer exception, impermissible cast, array index out of bounds, division by zero, etc.
The following kinds of weak points may be detected:uninitialised variable,unreachable branch in conditional or switch statement,unreachable loop body or catch clause, assignment of variable whose value is never used, unreachable main exit of method, etc.
Wasp produces detailed and precise method call graph.
The method call graph of a program helps to know for each method what actual methods are called in its body.
Additionally, for each method you may know where this method may be called.
In comparison with other static error analysers,
Wasp has two important advantages.
Wasp is able to distinguish between a definite error, a possible error (warning), and a potentially erroneous situation.
In the latter case, Wasp produces a message called conditional error that in practice appear to indicate an errorin approximately one case from five.
Wasp performs context-sensitive data flow analysis, so it is able to recognize an error that appears only for some calls of the method containing it, but does not for other ones.
All known to us static analysers (e.g. QStudio Java, MetaMata Audit, etc) that statically detect run-time errors may produceonly long lists of warnings because they can not recognize definite errors in a program due to weak analyses applied. A user has to waste much time to analyse all warnings.
Wasp has proven its ability to find subtle bugs in programs evenafter debugging and testing stages of development because Waspdetects situations of real complexity. |
|
|
|
NEWS
So far, nothing for that!
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » jPDFProcess 2.00
|
| jPDFProcess is a Java library that can read, manipulate and then save or print PDF documents. With jPDFProcess, you can deliver customized PDF content to your users by integrating within your servers or applications. jPDFProcess is platform independent, ... |
|
| Qoppa Software | 350KB | Win 3.x/95/98/ME/NT/2000/XP | $600 | Downloads: 1416 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » FLib 1.1.1
|
| FLib is a free, open source library of high-quality Java components. It currently contains wizard and calendar components and a table layout manager. The wizard component makes it easy to create multi-step user dialogs. The calendar component can be use ... |
|
| Antonio Freixas | 1227KB | Win 98/ME/NT/2000/XP | 0 | Downloads: 1743 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Jagacy 1.0
|
| Jagacy is a 3270 screen-scraping library written entirely in Java. It also includes a special 3270 emulator designed to help create screen-scraping applications. Jagacy is easier to use and more intuitive than HLLAPI. It excels in creating screen-scrapi ... |
|
| Jagacy Software | 188KB | Win 95/98/ME/NT/2000/XP | $49.95 | Downloads: 1549 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JDirectoryChooser Java Bean 1.0.0
|
| The JDirectoryChooser Java Bean provides a GUI for navigating the file system, and then either choosing an existing directory from a tree or managing file system directories` tree structure by creating new directories, renaming, copying, moving or deletin ... |
|
| JTechLabs Software Company | 300KB | Win 98/ME/NT/2000/XP/CE | $24.95 | Downloads: 1415 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » NCStudio ILDE 2.0
|
| NCStudio ILDE is a server based Java IDE needing installation only on the server. No installation or set-up is required on any client machine. Distributed teams can log into the central server, collaborate with team members and develop. It is comprehensi ... |
|
| NCE Technologies Inc. | 122070KB | Win NT/2000/XP | 0 | Downloads: 1454 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » StelsEngine JDBC Driver 1.2
|
| StelsEngine is a fast in-memory SQL engine for storing and processing tabular data in Java applications. Using StelsEngine, you can make processing data in your software considerably easier and quicker. StelsEngine is as easy to use as possible since it i ... |
|
| J-Stels Software | 137KB | Win 95/98/ME/2000/XP | $49 | Downloads: 1386 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » EasyCharts 3.0.2
|
| EasyCharts is a complete library of java chart components, chart applets, and chart servlets that enable programmers to add charts and graphs in java applications, web applications, and web pages with just a few lines of code. The java chart library inclu ... |
|
| ObjectPlanet, Inc. | 2100KB | Win 95/98/ME/NT/2000/XP | $450 | Downloads: 1426 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » MirrorJNDI 1.0
|
| MirrorJNDI is an open source Java Naming and Directory Interface (JNDI) service provider for accessing arbitrary Java objects in a hierarchical namespace. MirrorJNDI can store all it`s data in XML or binary serialized form. It allows to create full copy ... |
|
| Smardec | 71KB | Not Applicable | | Downloads: 1343 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » DocFlex/XML 1.0
|
| DocFlex/XML is a powerful template-driven docs/reports generator by the data obtained from XML files. The templates are created using a graphic Template Designer basing on the data type info loaded from DTD or XML Schema files. The professional quality ou ... |
|
| FILIGRIS WORKS | 3287KB | Not Applicable | $256 | Downloads: 2022 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Free Java Applets 4.2
|
| 100% Free Java Applets ! Real Freeware These products are NOT Trialware or Evalware - but fully functioning versions which are Free for you to use however you wish, making them truly Freeware products. The Free Applet package includes the following: - F ... |
|
| Sirius Computer Consultants Limited | 13KB | Win 3.x/95/98/NT/2000/XP | 0 | Downloads: 1402 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| » Advanced Swing Components (ASC Suite) 1.4.1
|
| Advanced Swing Components (ASC Suite) are 100% Swing-based components that help you to deliver Swing applications with professional and user-friendly interface. They are used by developers, who prefer to create own applications as fast as possible with th ... |
|
| Smardec | 783KB | Not Applicable | $350 | Downloads: 1746 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » License4J 1.2
|
| License4J is a pure Java library for creating and validating licenses. The key concept is features of a license. You can easily add any feature to your license file, i.e. name of the product, version, expiry date, number of executable instances, customer` ... |
|
| Smardec | 56KB | Not Applicable | $60 | Downloads: 1399 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » J4L-QRCode 1.0
|
| Java component (applet, class and servlet) to create QR Code (QRCode) barcodes ... |
|
| J4L Components | 48KB | Win 95/98/NT/2000 | $45 | Downloads: 1440 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Rad Upload Lite 2.00
|
| Rad Upload Lite is the free version of Rad Upload - a drag and drop file upload applet with progress monitor. The free version has all the features of the standard edition except for a lower maximum upload limit. The plus version also provides support f ... |
|
| Rad Inks (Pvt) Ltd. | 67KB | Win 95/98/ME/NT/2000/XP | $0.00 | Downloads: 1452 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » DocFlex/Javadoc 1.2
|
| DocFlex/Javadoc is a doclet extension for Javadoc Tool which generates Java API documentation (or various output files) using templates in different output formats. ** KEY FEATURES ** (*) The high quality graphic Template Designer represents the whole Do ... |
|
| FILIGRIS WORKS | 2376KB | Not Applicable | $198 | Downloads: 1399 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Allbuttons Web Menu builder 2.1
|
| With AllButtons, you can create professional buttons and menus for your website fast and easily. All the web buttons and web menus, you can now make yourself in no-time. Create drop-down menus, navigation bars, and sub menus in minutes. Create your own ... |
|
| Allbuttons | 1,445KB | Win 95/98/ME/NT/2000/XP | $29.95 | Downloads: 1775 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » DocFlex/Doclet 1.2
|
| DocFlex/Doclet is a freeware edition of DocFlex/Javadoc. It provides only output generator and interprets the basic templates embedded into the executable Java library as resources. The provided templates allow to generate Java API documentation in HTML ... |
|
| FILIGRIS WORKS | 723KB | Not Applicable | | Downloads: 1540 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » TreeTable 2.01
|
| This Java applet combines both table (grid) view and tree view. So you can hierarchically organize your data and still have multiple columns to display not only node name, but also some properties of the item. Grid is editable, sortable, supports XML, d ... |
|
| Scand | 168KB | Win 98/ME/NT/2000/XP/CE | $250 | Downloads: 3066 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » jPDFWriter 2.00
|
| Generate Adobe Acrobat PDF © documents directly from your java programs. jPDFPrinter is a 100% java class library that allows you to create PDF documents without any modifications to your printing code. By extending the standard java classes that handle p ... |
|
| Qoppa Software | 40KB | Win 3.x/95/98/ME/NT/2000/XP | $250 | Downloads: 1482 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » AWTX JTree 2.6.2
|
| JTree can load its content from XML and supports dynamical loading of sub-nodes. Just take your data from database or file, and JTree will display it in the best way in Web-browser or Java application, providing comfortable and powerful functionality to n ... |
|
| Scand LLC | 154KB | Win 3.x/95/98/ME/NT/2000/XP | $149 | Downloads: 3002 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| |
